int run() {
	int a;
	recdec(a <- 5);
}

void recdec(als int r) {
	if(r > 0) {
		recdec(r <- (r-1));
	}
	write(r); // r = 0
}
